241. Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages
پدیدآورنده : IFIP Working Conference on Symbol Manipulation Languages, )6691, Pisa, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
5
.
I34
1966
242. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
243. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
244. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
245. Syntax-directed semantics :
پدیدآورنده : Zoltán Fülöp, Heiko Vogler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
246. System simulation : programming styles and languages
پدیدآورنده : Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65K74
1986
247. Systems Programming In Parallel Logic Languages
پدیدآورنده : Ian Foster
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
248. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
249. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: (طهران)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
66
250. The McGraw - Hill computer hand book
پدیدآورنده : / editor in chief, Harry Helms
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : Computer -- Hand book, manulas, etc,Programming (Electronic computers) -- Hand books, manulas, etc,Programming languages (Electronic computers) -- Hand books, manulas, etc
رده :
QA76
.
M37
1983
251. <The> McGraw-Hill computer handbook
پدیدآورنده :
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع : Computers- Handbooks, manuals, etc,Programming )electronic computers(- Handbooks manuals, etc,Programming languages )electronic computers(
رده :
004
M147
252. The computer comes of age: the people, the hardware, and the software
پدیدآورنده : Moreau, Rene
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History ، Computers,History ، Programming languages )Electronic computers(
رده :
QA
76
.
17
.
M6713
1984
253. The definition of programming languages /
پدیدآورنده : Andrew D. McGettrick
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers)
رده :
QA76
.
7
.
M28
254. <The> denotational description of programming languages
پدیدآورنده : / [by] Michael J. C. Gordon
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA76
,.
7
،.
G67
255. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
256. The programming languages : Pascal, Modula, CHILL, and Ada
پدیدآورنده : Smedema, C. H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
S6
1983
257. The programming languages: pascal, modula, CHILL, and Ada
پدیدآورنده : Smedema, C.H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
S6
1983
258. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
259. Threaded interpretive languages: their desing and implementation
پدیدآورنده : Loeliger, R. G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
